ProofendProof

@style 118 120 122 125

@qedqedfalse

@thmthm 236 @endthmendtheorem

;SPMgt;1993 =<#298#>Anonymous FTP theory.doc.ic.ac.uk /tex/contrib/Taylor/tex/QED.sty<#298#><#299#>You have an obsolete version of QED.sty - please get a new one<#299#>

@style @style @style check@pt@fm@thm =<#300#>The macros thm and endtheorem need to be re-defined.<#300#><#301#>QED.sty must be loaded AFTER theorem.sty but before using \newtheorem <#301#> check@pt@fm@thm =<#302#>The macros thm and endtheorem need to be re-defined.<#302#><#303#>QED.sty must be loaded AFTER theorem.sty but before using \newtheorem <#303#> check@pt@fm@thm

&xcirc#bigcirc; =<#304#>Anonymous ftp e-math.ams.com /ams/amsfonts<#304#><#305#>\bigcirc =<#306#>Anonymous ftp e-math.ams.com /ams/amsfonts<#306#><#307#>\csname square is an AMS symbol<#307#>square&xcirc#bigcirc; is an AMS symbol<#305#>square&xcirc#bigcirc;

ds@theorems-as-commands<#308#><#308#>#1<#309#>

@begintheorem =<#317#>Anonymous FTP theory.doc.ic.ac.uk /tex/contrib/Taylor/tex/Paul.sty<#317#><#318#>You have an obsolete version of Paul.sty - please get a new one<#318#> #1<#313#><#313#>@gr@m <#314#>=<#319#>Anonymous FTP theory.doc.ic.ac.uk /tex/contrib/Taylor/tex/diagrams.tex<#319#><#320#>You have an obsolete version of diagrams.tex - please get a new one<#320#>@gr@m<#314#> check@pt@sty@v @ifqed@qedqedtrue<#315#>##1<#315#><#309#>endtheorem<#310#>qed<#321#>#math342##tex2html_wrap_inline457# #tex2html_wrap_inline458# = Anonymousftpe-math.ams.com/ams/amsfonts#tex2html_wrap_inline459#\csnamesquare#tex2html_wrap_inline460# isanAMSsymbol#tex2html_wrap_inline461##tex2html_wrap_inline462#square#tex2html_wrap_inline463# #tex2html_wrap_inline464#<#321#>@qed@ifqed<#310#>

<#324#><#324#>#1<#325#>

@begintheorem =<#333#>Anonymous FTP theory.doc.ic.ac.uk /tex/contrib/Taylor/tex/Paul.sty<#333#><#334#>You have an obsolete version of Paul.sty - please get a new one<#334#> #1<#329#><#329#>@gr@m <#330#>=<#335#>Anonymous FTP theory.doc.ic.ac.uk /tex/contrib/Taylor/tex/diagrams.tex<#335#><#336#>You have an obsolete version of diagrams.tex - please get a new one<#336#>@gr@m<#330#> check@pt@sty@v @ifqed@qedqedtrue<#331#>##1<#331#><#325#>endtheorem<#326#>qed<#337#>#math343##tex2html_wrap_inline466# #tex2html_wrap_inline467# = Anonymousftpe-math.ams.com/ams/amsfonts#tex2html_wrap_inline468#\csnamesquare#tex2html_wrap_inline469# isanAMSsymbol#tex2html_wrap_inline470##tex2html_wrap_inline471#square#tex2html_wrap_inline472# #tex2html_wrap_inline473#<#337#>@qed@ifqed<#326#>

@thm addtoreset<#60#>Result<#60#><#61#>section<#61#>341